" Yde Venema" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Modal Logic (Cambridge Tracts in Theoretical Computer Science, Volume 53)

Patrick Blackburn, Maarten de Rijke, Yde Venema

3.62 Mb

#2

Finite model theory and its applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

Категория: Mathematics, Algebra, Mathematical logic

3.22 Mb

#3

Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

4.02 Mb

#4

Modal logic and process algebra: a bisimulation perspective

Alban Ponse, Maarten de Rijke, Yde Venema

14.82 Mb

#5

Modal logic and process algebra: A bisimulation perspective

Alban Ponse, Maarten de Rijke, Yde Venema

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.25 Mb

#6

Mathematics - Finite Model Theory and Its Applications

Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein

4.03 Mb